Principles of Imprecise-Information Processing by Shiyou Lian

Author:Shiyou Lian
Language: eng
Format: epub
Publisher: Springer Singapore, Singapore

(2)Suppose (p → q) ∧ p rough-false. By the definition of operation →, then (p → q) ∧ p → q rough-true.

Synthesizing (1) and (2), (p → q) ∧ p → q is a rough-true tautology.

Definition 12.5

Let P be a flexible predicate formula, and U be its domain of individuals.

For interpretation I in U,(1)If P is rough-true, then P is called rough-true on interpretation I.

(2)If P is rough-false, then P is called rough-false on interpretation I.

For any interpretation I in U,(1)If P is always rough-true, then P is always rough-true on U, or a rough-true tautology on U.

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.